| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 440284 | ||
| Vorlesung/Übung | 436932 | Mo 08:30-10:00 AH II (2350|111) (×13) Mo 08:30-10:00 Online-Veranstaltung (×13) Di 12:30-14:00 AH II (2350|111) (×14) Di 12:30-14:00 Online-Veranstaltung (×14) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 442197 | ||
| Vorlesung | 442104 | Mo 16:30-18:00 AH I (2350|028) (×8) Do 16:30-18:00 AH V (2356|050) (×10) Do 17:00-19:00 AH I (2350|028) (×1) | |||
| Übung | 442103 | Mo 10:30-12:00 AH V (2356|050) (×11) | |||
| Formale Methoden für Steuerungssoftware | Fach-/Modulprüfung | 6 | 440708 | ||
| Vorlesung/Übung | 436588 | Mo 14:30-16:00 AH III (2350|314.1) (×13) Fr 08:30-10:00 AH III (2350|314.1) (×13) | |||
| Fach-/Modulprüfung | 440212 | ||||
| Model Checking | Fach-/Modulprüfung | 6 | 439625 |